منابع مشابه
A Posteriori Estimation of Dimension Reduction Errors
A new a posteriori error estimator is presented for the verification of the dimensionally reduced models stemming from the elliptic problems on thin domains. The original problem is considered in a general setting, without any specific assumptions on the domain geometry, coefficients and the right-hand sides. The estimator provides a guaranteed upper bound for the modelling error in the energy ...
متن کاملOn a Dimensional Reduction Method . III . A Posteriori Error Estimation and an Adaptive Approach
This paper is the last in a series of three which analyze an adaptive approximate approach for solving (n + l)-dimensional boundary value problems by replacing them with systems of equations in n-dimensional space. In this paper we show how to find reliable a posteriori estimates for the error and how these can also be used in the design of an adaptive strategy. Various numerical examples are c...
متن کاملDevelopment of a Plaque Reduction Assay as an Antiphage Activity Evaluation Method
Background: Antiviral screening of newly isolated or synthesized compounds is an important matter which requires a reliable antiviral test. In order to address this issue, the development of a rapid antiphage test has been conducted. To achieve this goal, the antiphage activity of three antiviral drugs (Acyclovir, Lamivudine and Trifluridin) against phage CP51 which infects Bacillus cereus (ATC...
متن کاملAn a posteriori measure of network modularity
Measuring modularity is important to understand the structure of networks, and has an important number of real-world implications. However, several measures exists to assess the modularity, and give both different modularity values and different modules composition. In this article, I propose an a posteriori measure of modularity, which represents the ratio of interactions between members of th...
متن کاملAction re nement as an implementation relation
We propose a theory of process re nement which relates behavioural descriptions belonging to conceptually di erent abstraction levels through a so called vertical implementation relation The theory is based on action re nement which permits to relate abstract actions of the speci cation to concrete computations of the implementation it is developed in the standard interleaving approach A number...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The British Journal for the Philosophy of Science
سال: 2019
ISSN: 0007-0882,1464-3537
DOI: 10.1093/bjps/axx026